let doctype = document.implementation.createDocumentType("html",
          "-// W3C// DTD HTML 4.01// EN",
          "http://www.w3.org/TR/html4/strict.dtd");
